The design inference uncovers intelligent causes by isolating the key trademark of intelligent causes: specified events of small probability. Just about anything that happens is highly improbable, but when a highly improbable event is also specified (i.e., conforms to an independently given pattern) undirected natural causes lose their explanatory power. Design inferences can be found in a range of scientific pursuits from forensic science to research into the origins of life to the search for extraterrestrial intelligence.

Examines intelligent design as a science, a philosophy and a movement for educational reform. Central to all three aspects of ID is its claim that, if science education is to be other than state-sponsored propaganda, a distinction must be drawn between empirical science and materialist philosophy.

In the movie Contact, an astronomer played by Jodie Foster discovers a radio signal with a discernable pattern, a sequence representing prime numbers from 2 to 101. Because the pattern is too specifically arranged to be mere random space noise, the scientists infer from this data that an extraterrestrial intelligence has transmitted this signal on purpose.

The debate over teaching Darwin's theory in public schools has been a feature of American public life since at least the Scopes trial of 1925. Drawing on the liberal arts tradition centered in rhetoric and civic argument, this essay argues that science education should not merely prepare tomorrow's scientists, but also educate scientifically articulate citzens. It offers the Origin of Species as a model for educational strategies that would protect the integrity of science, while addressing the objections of students and (...) their parents to Darwin's ideas. Darwin's work belongs in the great tradition of two-sided humanistic argument central to Western education since antiquity, and exemplified in John Milton and John Stuart Mitt. Debate between Darwin's theory and its alternatives, whether young earth creationism or Intelligent Design, is recommended as a means to teach Darwin's theory and train students in the central role of critique and argument in scientific reasoning. (shrink)

This essay examines the relation of Darwin's orchids book to a central persuasive flaw in theOrigin: Its inability to give variation sufficient “presence” to break the hold of “design” in the mind of the reader. Darwin characterized the orchids book as “a flank movement on the enemy”; this essay identifies the “enemy” as Paley's natural theology and the “flank” as thetopoi, maxims, and habits of perception that led Darwin's colleagues and contemporaries to see design in nature. Moreover, this essay examines (...) three aspects of rhetorical timing pertinent toOrchids - time askairos, time as adequate duration, and time as transformation - and then relates those features to Robert Cox's Heideggerian logic of repetition, disavowal, and transcendence. The essay concludes with implications of the tactical and temporal aspects of Darwin's reasoning for understanding both the logic of science and of Darwin as a rhetorical artist. (shrink)

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004. The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.

This book constitutes the thoroughly refereed post-proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, held in Madrid, Spain in July 2000. The 17 revised full papers presented together with three invited papers were carefully reviewed and revised for inclusion in the book. Among the topics addressed are automated theorem proving, logical reasoning, mathematical modeling of multi-agent systems, expert systems and machine learning, computational mathematics, engineering, and industrial applications.